Theorem prover - PDFSEARCH.IO - Document Search Engine

Theorem prover
Results: 85

#	Item
81	Framework Proofs One prover proofs Two prover games Written proofs PCP-theorem Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2005-08-04 03:11:39 Probabilistic complexity theory Cryptographic protocols IP Probabilistically checkable proof NP Soundness Mathematical proof P Interactive proof system Theoretical computer science Applied mathematics Complexity classes
82	Implementing a Propositional Logic Theorem Prover in Haskell Submitted 21st April 2010 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-08-25 07:41:14 Logical syntax Automated theorem proving Model theory First-order logic Resolution Theorem Vampire Tautology Soundness Logic Mathematical logic Propositional calculus
83	S PEAR Theorem Prover Domagoj Babi´c ∗ (Theorem prover architect) Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2007-02-18 15:26:16 Mathematics Electronic design automation Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Mathematical optimization Program optimization Satisfiability Modulo Theories Theoretical computer science Applied mathematics Formal methods
84	PDF Document Add to Reading List Source URL: www.cs.uta.fi Language: English - Date: 2004-06-04 08:31:17 Automated theorem proving Model theory E theorem prover Theorem prover Tau First-order logic IP Logic in computer science Automated reasoning Theoretical computer science Mathematical logic Software
85	PDF Document Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-07-17 03:24:03 Automated theorem proving Formal methods E theorem prover Vampire CADE ATP System Competition Logic in computer science Geoff Sutcliffe Automated reasoning CASC Logic Mathematics Mathematical logic